First order logic lecture